formalization相关论文
Machine Proving System for Mathematical Theorems based on Coq-Machine Realization of the Axiomatic S
Using the interactive theorem proving tool Coq,we completed the construction of the machine proving system of the axioma......
为了能为粒计算的粒提供一种统一的表示形式,研究了粒的特征的基本含义、描述及其关系,并说明了粒的4个要素都与粒的特征密切相关,......
The FIPA specification of MAS (multi-agent system)is accepted by most of the applications of MAS in the world, and has b......
本文通过对荣华二采区10...
分布仿真实验管理系统摒弃了分布仿真系统传统的手工运行方式,实现了对仿真实验全方位全过程的管理,提高了实验的自动化程度和运行......
首先,将道路网stroke生成问题形式化表达为聚类问题;然后,在该表达下提出了基于层次聚类思想的stroke生成算法,并进行了算法的时间......
统一建模语言（UML）是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述，模型之间容易出现不一致问......
In common sense reasoning two typical types of defaultsare encountered. One is of the form "All birds can fly except b1,......
分析了典型电力应急预案的内容和结构,提出了基于本体论的应急预案形式化方法,归纳出组织、事件、规则、措施、约束、资源等主要概......
形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进......
本文论述了科技论文的表现形态与编撰规范化技巧,介绍了专题论文的撰稿方法和编辑加工中应注意的事项。......
软件对环境的依赖性主要体现在软件与环境的交互。在实际中,有时软件与环境未必成功交互。其交互程度对软件的性能有着很大的影响......
软件性能工程SPE是一种重要的性能分析方法，它将UML顺序图转化为执行图，进而分析软件的性能是否符合期望的指标。然而软件性能工程（SP......
采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件......
在统一建模语言(UML)规范中顺序图的语义是以自然语言的形式描述的,是一种半形式化的语言,不能对系统的交互行为进行形式化分析及......
形式化方法由于其简练、无二义性,在协议工程中有着重要的地位。首先对下一代超文本传输协议(HTTP NG)作了简单介绍,并利用基于时......
以HNC理论的概念基元符号体系与句类体系为基础,探索分析了汉语中单字动词组合处理的特点及其句类特征,总结形成了处理规则。在BNF......
随着PKI系统在企业中的广泛应用,企业并购活动中必然涉及原有多个PKI系统的整合问题。分析了现有的PKI系统整合方案,在此基础上结......
针对云物流系统中物流云服务的发现需求,依据本体论的基本原理和云物流系统中云服务和物流任务的特点,给出了物流云服务和云物流任......
法学话语具有明显的形式化特点，由于法学话语涉及现实世界，它与一般形式化系统有所不同，三段论在法学话语中的运用具有特殊性。形式化......
针对形式化方法与可视化方法的优缺点，本文提出形式化方法与可视化UML互补的建模方法，主要探讨用形式化方法验证UML模型，将UML模型转......
针对目前车辆路径问题（Vehicle Routing Problem，VRP）求解方法缺乏动态自适应能力这一缺陷，从面向问题的角度出发，研究车辆路径问题的形......
Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantic......
...
The FIPA specification of MAS (multi-agent system)is accepted by most of the applications of MAS in the world, and has b......
为面向对象建模概念建立坚实的语义基础，越来越受到人们的重视，通过提供精确的概念特征定义，可建立精确的面向对象的行为模型和结构模......
通过分析僵尸网络控制命令的语法结构特征，提出一种基于语法结构特征识别IRC僵尸网络控制命令的方法。该方法首先分析命令关键字和......
为了构建导弹武器系统执行战略反击使命的任务空间概念模型,保证模型的互操作性和可重用性,研究了任务空间概念模型的形式化描述,......
信任管理从网络环境安全和信任的真实需求出发,收集、分析、处理网络环境中的信任信息,并通过一些策略和方法,建立规则、模型、评......
安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN逻辑研究Needham-Schroeder对称密钥认证协议,指出该协议存在的安......
该文讨论了形式化析句的基本概念,从语言和言语、描写和解释、层次和线性、短语和句式、词法和句法等多个语言学视角梳理了汉语析......
知识点关系是连接知识点的纽带。教学系统智能性体现的一个重要方面是能够根据知识点之间的关系组织教学内容。受学生学习知识的能......
本文采用特有的语义分析方法对两类自然语言所表示的特殊命题进行准确形式化的讨论与研究。否定了一些错误形式，得到了这两类特殊命......
本着提高数控仿真系统开发效率的目的,文中引入组件的设计思想;然后从控制组件粒度的角度,给出了层次化的系统体系结构;在此基础上......
数学定理的机器证明首先应将数学概念形式化，形式化的方法和技巧对于理论上的推理研究以及是否能够真正利用计算机进行推理起关键作......
讨论工作流 ( Work Flow)技术中的工作流描述语言和工作流计算模型 ,提出了一个形式化的计算机公文流通管理系统 .基于工作流协同......
文章对豆腐树种植过程中的引种、整地、选苗、栽种、肥水管理、采收和果胶含量测定等技术环节进行了研究,为豆腐树规模化种植提供......
能力是Agent实现目标的必要条件,但是经典的BDI模型对能力没有进行充分的讨论。在BDI模型的基础上,提出了一种带有命令状态的BGC模......
交通事故的诱发因素包括人为、车辆本身、道路、环境等因素,对于已经存在的交通事故数据采用科学的分析方法进行整理、归集,对事故......
对当前科技查新报告的形式化问题进行研究，并对形式化问题产生的原因进行分析，提出由科技管理部门主导的新的科技查新管理模式。新的......
我国法学本科实践教学始终存在＂形式化＂现象,这种现象之所以存在,首先是因为我国法学本科课程设置机制具有明显的理论印记,限制了高......
<正>一、基于模型的知识工程方法 基于知识的系统(KBS)作为复杂软件系统,其自身及开发程遵循一定准则。早期的KBS构造基于快速......
<正> 在面向对象技术中,面向对象程序设计语言可以完全抛弃传统程序设计语言中的类型概念,即使它的最基本数据也可用类来描述。类......
两阶段提交协议是最简单且最常用的原子提交协议，该协议使分布式事务的提交具有原子性和持久性。在本文中，我们使用π演算对两阶段提......
对象存储系统是近来兴起的存储领域研究热点，它改变了传统的存储模式，用对象接口取代了传统的块接口。作为下一代互联网存储模式的关......
通过分析程序设计语言L的特征,提出了一种能由语言L自动构造文法的算法,证明了在有限次递推后算法能结束的充分必要性.该算法根据......
本文阐述了利用模式分解使得一个规范化程度较低的关系转换成为一个或多个规范化程度较高的关系。最后通过一个实例说明规范化理论......
在分析了知识的特点、已有地图综合知识分类和形式化描述的基础上,结合居民地地图的特点,提出了关于大比例尺居民地知识的分类和形......
设计模式对于程序开发以及软件工程都具有越来越重要的作用.充分利用设计模式,需要有效地描述设计模式,进而解决人和计算机同时能......
UML规范对于衍型这种扩展机制描述的不够清晰和严格,常被用户和研究者误用,并且也无法很好地支持可扩展的建模工具的开发.本文精确......
